Static single assignment form - PDFSEARCH.IO - Document Search Engine

Static single assignment form
Results: 1516

#	Item
271	Draft Version Denotational Semantics for SSA Conversion Sebastian Pop, Albert Cohen†, Pierre Jouvelot, Georges-Andr´e Silber ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-07-31 09:22:11 Computability theory Models of computation Formal methods Logic in computer science Recursion Static single assignment form Denotational semantics Continuation-passing style Primitive recursive function Software engineering Computing Computer programming
272	In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-03 03:55:11 Logic in computer science Programming language semantics Models of computation Formal methods Procedural programming languages Static single assignment form Denotational semantics Continuation-passing style Statement Software engineering Computing Theoretical computer science
273	Induction Variable Analysis with Delayed Abstractions Sebastian Pop Albert Cohen Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-02-10 18:37:55 Compiler optimizations Compiler construction Static single assignment form Procedural programming languages Induction variable Goto GNU Compiler Collection Fortran Recurrence relation Computing Software engineering Software
274	The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop1 , Albert Cohen2 , Pierre Jouvelot1 , and Georges-Andr´e Silber1 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-11-22 06:53:34 Compiler optimizations Control flow Compiler construction Static single assignment form Model theory GNU Compiler Collection Representation theory For loop Data-flow analysis Computing Software engineering Software
275	Coll`ege doctoral o ´ ED n 431 : Information, communication, mod´elisation et simulation No attribu´e par la biblioth`eque: \| \| \| \| \| \| \| \| \| \| \| Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2007-02-07 05:39:41 Logic in computer science Programming language semantics Static single assignment form Programming language implementation Compilers GNU Compiler Collection Compiler Intermediate language Programming language Software Computing Compiler construction
276	Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers Antoniu Pop 1 and Albert Cohen 2 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-07-28 10:49:00 Parallel computing Compiler construction Programming language implementation Compilers Procedural programming languages Compiler OpenMP GNU Compiler Collection Static single assignment form Computing Software Computer programming
277	Induction Variable Analysis with Delayed Abstractions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-10-11 09:31:28 Recursion Compiler construction Static single assignment form Mathematical logic Infinite loop Algorithm Action Computer programming Physics Computing
278	On plan recognition and parsing John Maraist SIFT, LLC∗ Christopher W. Geib Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 LR parser Context-free grammar Static single assignment form Computing Software Compiler construction Knowledge representation Tree
279	Induction Variable Analysis with Delayed Abstractions1 ´ SILBER SEBASTIAN POP, and GEORGES-ANDRE CRI, Mines Paris, France and Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-08-24 10:01:32 Compiler optimizations Control flow Procedural programming languages Compiler construction Static single assignment form Loop optimization Vectorization Fortran Loop counter Software engineering Computing Computer programming
280	Optimal Compilation of HPF Remappings (Extended Abstract) Fabien Coelho Corinne Ancourt Centre de Recherche en Informatique, E cole des mines de Paris, 35, rue Saint-Honore, 77305 Fontainebleau Cedex, France. Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-03-24 11:57:43 Procedural programming languages High Performance Fortran Fortran Array data type Static single assignment form C Subroutine Computing Computer programming Software engineering

UPDATE